aggregation groups numbers by value, whatever their JSON form